Lazy Code Motion - mrsekut-p